Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Source URL: web.cs.wpi.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Hardware verification languages
• Aspect-oriented software development
• Formal verification
• Model checking
• Abstraction
• E
• Communications protocol
• Modularity
• Construction and Analysis of Distributed Processes

TravelBus 2 in 1 Analyzer (Protocol & Logic) • PC-based, USB 3.0 interface/powered • 200 MHz timing/state analysis • Digital channels : 16 (Data), 1 (Clock), 2 (I²C) • Memory : PC RAM

Source URL: www.acute.com.tw

• Battery charging
• IC
• Power Management Bus
• USB
• System Management Bus
• RS-485
• Profibus

PRISMA-P 2015 Checklist This checklist has been adapted for use with protocol submissions to Systematic Reviews from Table 3 in Moher D et al: Preferred reporting items for systematic review and meta-analysis protocols

Source URL: www.prisma-statement.org

• Systematic review
• Meta-analysis
• Evidence-based practices
• Academic publishing
• Epidemiology
• Preferred Reporting Items for Systematic Reviews and Meta-Analyses
• Publication bias
• Reporting bias
• Communications protocol

Paving the Way for NFV: Simplifying Middlebox Modifications using StateAlyzr Junaid Khalid, Aaron Gember-Jacobson, Roney Michael, Anubhavnidhi Abhashkumar, Aditya Akella University of Wisconsin-Madison Abstract

Source URL: opennf.cs.wisc.edu

• Computer network security
• Middlebox
• Data-flow analysis
• Scope
• Transmission Control Protocol
• Robust random early detection
• ALGOL 68
• Subroutine
• Parameter
• Algorithm

A Modular Security Analysis of the TLS Handshake Protocol P. Morrissey, N.P. Smart and B. Warinschi Abstract We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement

Source URL: eprint.iacr.org

NAP: a Building Block for Remediating Performance Bottlenecks via Black Box Network Analysis ∗ Muli Ben-Yehuda David Breitgand

Source URL: www.mulix.org

• Computing
• Computer architecture
• Network architecture
• Network management
• Hyper-V
• Windows Server
• Elasticity
• Internet protocol suite
• Transmission Control Protocol
• Network monitoring
• Clientserver model
• Provisioning

Design and Analysis of Sectrace: A Protocol to Set up Security Associations and Policies in IPSec Networks∗ Alwyn Goodloe University of Pennsylvania

Source URL: seclab.illinois.edu

MRC/CSO Social and Public Health Sciences Unit Systematic Review Protocol DecemberAssessing reporting of narrative

Source URL: www.sphsu.mrc.ac.uk

• Evidence-based practices
• Knowledge
• Medical research
• Health
• Systematic review
• Healthcare quality
• Evidence-based medicine
• Clinical research
• Meta-analysis
• Qualitative research
• Cochrane
• Research

A machine learning-based protocol for docking results analysis Sabina Smusz,1,2 Stefan Mordalski,1 Jagna Witek,1 Krzysztof Rataj,1 Andrzej J. Bojarski1 1 1Department

Source URL: www.int-conf-chem-structures.org

SecRetProbabilistic Modeling and Analysis of DoS Protection for the ASV Protocol Musab AlTurki1 Jos´e Meseguer2 Carl A. Gunter Department of Computer Science

Source URL: seclab.illinois.edu